min $partialdiff sub X$ max [ Y , max ( WORLDBATH bath ) ]